Infini et impossible! = Infinite and impossibleDELAHAYE, Jean-Paul.Pour la science (Imprimé). 2011, Num 403, pp 88-93, issn 0153-4092, 6 p.Article

Georg Cantor, et les infinis furent = Georg Cantor and the infinites wereNOWAK, Mathieu.La Recherche (Imprimé). 2009, Num 428, pp 48-51, issn 0029-5671, 4 p.Article

On infinite Steiner systemsGRANNELL, M. J; GRIGGS, T. S; PHELAN, J. S et al.Discrete mathematics. 1991, Vol 97, Num 1-3, pp 199-202, issn 0012-365XArticle

Formal verification of infinite state systems using boolean methodsBRYANT, Randal E.Lecture notes in computer science. 2006, pp 1-3, issn 0302-9743, isbn 3-540-36834-5, 1Vol, 3 p.Conference Paper

On the diffusive nature of entropy flow in infinite systems : remarks to a paper by Guo-Papanicolau-VaradhanFRITZ, J.Communications in mathematical physics. 1990, Vol 133, Num 2, pp 331-352, issn 0010-3616Article

The UCLID decision procedureLAHIRI, Shuvendu K; SESHIA, Sanjit A.Lecture notes in computer science. 2004, pp 475-478, issn 0302-9743, isbn 3-540-22342-8, 4 p.Conference Paper

Binary patterns in infinite binary wordsRESTIVO, Antonio; SALEMI, Sergio.Formal and natural computing-eessays dedicated to Grzegorz Rozenberg. Lecture notes in computer science. 2002, pp 107-116, issn 0302-9743, isbn 3-540-43190-XBook Chapter

Solving the linear quadratic optimal control problem for infinite-dimensional systemsGRAD, J. R; MORRIS, K. A.Computers & mathematics with applications (1987). 1996, Vol 32, Num 9, pp 99-119, issn 0898-1221Article

On a problem of Stein concerning infinite coversVANDEN EYNDEN, C.The American mathematical monthly. 1992, Vol 99, Num 4, pp 355-358, issn 0002-9890Article

A slow growing analogue to Buchhol' proofARAI, T.Annals of pure and applied logic. 1991, Vol 54, Num 2, pp 101-120, issn 0168-0072Article

Concurrence for infinite-dimensional quantum systemsYU GUO; JINCHUAN HOU; YUNCAI WANG et al.Quantum information processing (Print). 2013, Vol 12, Num 8, pp 2641-2653, issn 1570-0755, 13 p.Article

Deciding monotonic gamesPAROSH AZIZ ABDULLA; BOUAJJANI, Ahmed; D'ORSO, Julien et al.Lecture notes in computer science. 2003, pp 1-14, issn 0302-9743, isbn 3-540-40801-0, 14 p.Conference Paper

Do we need liveness? Approximation of liveness properties by safety propertiesULTES-NITSCHE, Ulrich.Lecture notes in computer science. 2002, pp 279-287, issn 0302-9743, isbn 3-540-00145-X, 9 p.Conference Paper

Languages, rewriting systems, and verification of infinite-state systemsBOUAJJANI, Ahmed.Lecture notes in computer science. 2001, pp 24-39, issn 0302-9743, isbn 3-540-42287-0Conference Paper

Algorithmic verification of infinite-state systemsBOUAJJANI, Ahmed.Theoretical computer science. 2001, Vol 256, Num 1-2, issn 0304-3975, 169 p.Serial Issue

Verification of infinite-state systems by specialization of CLP programsFIORAVANTI, Fabio.Lecture notes in computer science. 2001, issn 0302-9743, isbn 3-540-42863-1, p. 762Conference Paper

Symbolic determinisation of extended automata = Déterminisation symbolique d'automates étendusJéron, Thierry; Marchand, Hervé; Rusu, Vlad et al.Publication interne - IRISA. 2005, issn 1166-8687, 1Vol, 24 p.Report

Transfer functions for infinite-dimensional systemsZWART, Hans.Systems & control letters. 2004, Vol 52, Num 3-4, pp 247-255, issn 0167-6911, 9 p.Article

Reconstructing infinite objectsRAUTENBACH, Dieter.Discrete mathematics. 2002, Vol 250, Num 1-3, pp 273-279, issn 0012-365XArticle

Fejer methods for solving infinite systems of convex inequalitiesPATSKO, Sergey V.Yugoslav journal of operations research. 2001, Vol 11, Num 2, pp 131-150, issn 0354-0243, 20 p.Article

Das Unendliche in mathematischer und philosophischer Sicht = Mathematical and philosophical aspects of infinityNOLLAU, V.Wissenschaftliche Zeitschrift der Technischen Universität Dresden. 1996, Vol 45, Num 6, pp 31-36, issn 0043-6925Article

Parametric infinite element for seepage analysisHONJO, Y; POKHAREL, G.International journal for numerical and analytical methods in geomechanics. 1993, Vol 17, Num 1, pp 45-66, issn 0363-9061Article

FAST: Fast acceleration of symbolic transition systemsBARDIN, Sébastien; FINKEL, Alain; LEROUX, Jérome et al.Lecture notes in computer science. 2003, pp 118-121, issn 0302-9743, isbn 3-540-40524-0, 4 p.Conference Paper

Continuity with respect to the trajectory of the observation of the filter associated to systems in infinite dimensionsDIETSCH, M.-N.Prague conference on information theory, statistical decision functions and random processesPrague symposium on asymptotic statistics. 1998, isbn 80-7015-636-8, 2Vol, vol 1, 103-106Conference Paper

FAST : acceleration from theory to practiceBARDIN, Sébastien; FINKEL, Alain; LEROUX, Jerome et al.International journal on software tools for technology transfer (Print). 2008, Vol 10, Num 5, pp 401-424, issn 1433-2779, 24 p.Article